Mark Leslie - PDFSEARCH.IO - Document Search Engine

Mark Leslie
Results: 44

#	Item
31	Logical Particle Filtering Luke S. Zettlemoyer, Hanna M. Pasula, and Leslie Pack Kaelbling MIT CSAIL {lsz,pasula,lpk}@csail.mit.edu Abstract. In this paper, we consider the problem of filtering in relational hidden Mark Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-07-22 10:19:15 Design of experiments Statistical inference Markov models Statistical hypothesis testing Hidden Markov model Particle filter H0 LSZ reduction formula Statistics Hypothesis testing Robot control
32	Health Accountability Team (HAT) August 15, 2012 Meeting Notes Present: Patty Smith, Diane Skog, Kate Bartley, Leslie Forstadt, Donna Overcash, Sue Mackey Andrews, Amanda Lonsdale, Arabella Perez, Patty Hamilton, Mark Ra Add to Reading List Source URL: mainecgc.org Language: English - Date: 2014-09-10 14:22:48
33	Development of a Probabilistic Assessment Methodology for Evaluation of Carbon Dioxide Storage By Robert C. Burruss, Sean T. Brennan, Philip A. Freeman, Matthew D. Merrill, Leslie F. Ruppert, Mark F. Becker, William N. H Add to Reading List Source URL: pubs.usgs.gov Language: English - Date: 2009-03-04 14:46:26 Matter Energy economics Carbon capture and storage Chemical engineering Climate change mitigation Enhanced oil recovery Cubic foot Petroleum Low-carbon economy Chemistry Carbon dioxide Carbon sequestration
34	When Words Collide 2014 – Program Descriptions Friday 1 PM – Clarence-Phaeton Festival Guest Readings Brandon Sanderson, D. J. McIntosh, Jacqueline Guest, Mark Leslie, Jack Whyte Add to Reading List Source URL: www.whenwordscollide.org Language: English - Date: 2014-08-05 11:46:23 Science fiction Novel Fiction Literature Literary genres PM
35	Vermont CEDS Consultant Team Contact Information Garnet Consulting Services, Inc. Mark D. Waterhouse Leslie Cosgrove 157 Park Road 157 Park Road Add to Reading List Source URL: www.accd.vermont.gov Language: English - Date: 2013-08-13 11:38:43 Web 2.0 Webmail World Wide Web Computing Cross-platform software Gmail Internet privacy
36	LEGISLATIVE BIOGRAPHY — 2007 SESSION SHEILA LESLIE Democrat Washoe County Assembly District No. 27 Add to Reading List Source URL: www.leg.state.nv.us Language: English - Date: 2010-05-04 13:45:24 Truckee Meadows KNPB Truckee Meadows Water Authority Mark Amodei Nevada Sheila Leslie University of Nevada Reno
37	LEGISLATIVE BIOGRAPHY — 2007 SESSION SHEILA LESLIE Democrat Washoe County Assembly District No. 27 Add to Reading List Source URL: leg.state.nv.us Language: English - Date: 2010-05-04 13:45:24 Truckee Meadows KNPB Truckee Meadows Water Authority Mark Amodei Nevada Sheila Leslie University of Nevada Reno
38	LEGISLATIVE BIOGRAPHY — 2007 SESSION SHEILA LESLIE Democrat Washoe County Assembly District No. 27 Add to Reading List Source URL: leg.state.nv.us Language: English - Date: 2010-05-04 13:45:24 Truckee Meadows KNPB Truckee Meadows Water Authority Mark Amodei Nevada Sheila Leslie University of Nevada Reno
39	Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciﬁcation language TLA+ to ana Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Parallel computing Cache coherence Cache Communications protocol DEC Alpha Temporal logic of actions Model checking Leslie Lamport Correctness Computing Concurrent computing Cache coherency
40	SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-06-12 17:13:00 Logic in computer science Data types Formal methods Pointer First-order logic Satisfiability Modulo Theories Assertion ALGOL 68 Theoretical computer science Software engineering Computer programming

UPDATE